Relaxed Memory Models
データレース
を起こさない
メモリモデル
っぽい
『Formal Methods and the WebAssembly Specification』
プログラミング言語とツールラボ - プロジェクト「IMM: Compilation Correctness for Relaxed Memory Models」
『Explaining Relaxed Memory Models with Program Transformations』
『Relaxed Memory Models: an Operational Approach』